DEF=kast-in
EXT=kast-in
TESTDIR=.
KOMPILE_BACKEND=llvm
KAST_FLAGS=--output kast --output-file 1.kast.out
CHECK=&& diff 1.kast.expected

include ../../../include/kframework/ktest.mak
